$\forall$${\it es}$:event\_system\{i:l\}, $i$,$x$:Id, $T$:Type.
\\[0ex]@$i$ discrete fpf{-}single($x$; $T$) $\Leftarrow\!\Rightarrow$ es{-}dtype(${\it es}$; $i$; $x$; $T$)